< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
基于 Ma t l a b语言的遗传算法工具箱支持二进制和浮点数编码方式, 并且提供了多种选择、 交叉、 变异的方法。 通过具体实例对 Ma t l a b的遗传 算法工具箱的用法进行 了说 明介绍.
上传时间: 2017-09-05
上传用户:671145514
程序实现多国语言的动态切换解决方案 VC6.0工程,可编译通过,直接使用。学习的好模板。
上传时间: 2013-06-06
上传用户:dengzb84
~{JGR 8vQ IzWwR5SC5D2V?bD#DbO5M3~} ~{3v?b~} ~{Hk?b~} ~{2iQ/5H9&D\~} ~{?IRTWw@)3d~} ~{TZ~}JDK1.4.2~{OBM(9}~}
上传时间: 2015-02-22
上传用户:ommshaggar
多国语言系统,支持中英文,繁体文.有很强的 稳定性.
上传时间: 2015-03-20
上传用户:JIUSHICHEN
这是一个包含多个语言的指令集,它能为我们提供很大的方便,便于我们的编程
上传时间: 2015-03-22
上传用户:kr770906
SMART PHONE 2005中关于多国语言支持的程序源码,可实现应用程序多国语言的切换,需用VS2005BETA2编译。
上传时间: 2015-04-01
上传用户:330402686
花了很长时间找了这么多c语言的编译器,希望对大家做编译作业有帮助
上传时间: 2013-12-10
上传用户:13681659100
用VC纯资源DLL解决国际化问题源代码 可以帮你开发多国语言的软件
上传时间: 2015-07-01
上传用户:源弋弋
b to b 模式 电子商务系统 ,c# 开发 , B/S结构
上传时间: 2014-01-20
上传用户:hanli8870